Back برمجة منطقية Arabic Логическо програмиране Bulgarian যুক্তিভিত্তিক প্রোগ্রামিং Bengali/Bangla Logičko programiranje BS Programació lògica Catalan Logické programování Czech Logische Programmierung German Logic programming English Programación lógica Spanish برنامهنویسی منطقی Persian
Loogiline programmeerimine on laiemas mõistes matemaatilise loogika kasutamine programmeerimiseks. Kitsamas mõistes on tegemist programmeerimise paradigmaga, mis põhineb automaatsel teoreemide tõestamisel.
Tuntuim loogilise programmeerimise keel on Prolog.